package option;

import entities.Individual;
import entities.concept.PConcept;
import entities.role.Role;

public final class KBVocabulary {
	public static String AnyStringInKB = "A_Representative_Constant_Value";

	private KBVocabulary() {
	}

	public static final Role ROLE_ID = Role
			.createRoleAsIs(KBVocabulary.IDENTITYROLE);
	public static final Individual SPECIAL_IND = Individual.getStarIndividual();
	public static final String SPECIAL_IND_SYMB = "*";
	public static final String IMPLIES = "implies";
	public static final String EQAXIOM = "equals";
	public static final String ROLEAXIOM = "subrole";
	public static final String ROLE_INV = "inverse";
	public static final String ROLE_TRANS = "trans";
	public static final String FEAT_DOM = "feature-dom";
	
	
	public static final String SOME = "exists";
	public static final String TOP = "TOP";
	public static final String BOTTOM = "BOTTOM";
	public static final String ALL = "forall";
	public static final String AND = "and";
	public static final String OR = "or";
	public static final String NOT = "not";
	public static final String LEFTDEL = "(";
	public static final String RIGHTDEL = ")";
	public static final String ROLE = "role";
	public static final String NOMINAL = "nom";
	public static final String INV_ROLE_PREFIX = "inv-";
	public static final String IDENTITYROLE = "id-role";
	public static final String FEATURE = "feature";
	public static final String FEATUREABS = "abstract-feature";
	public static final String FEATURECON = "concrete-feature";
	// guarding/absorptions
	public static final String FRESH_CP = "CP_Internal_";
	public static final String GUARD = "DEF_";
	public static final String NOMINAL_GUARD = GUARD + "nom_";
	public static final String ROLE_GUARD = GUARD + "role_";
	public static final String FEATURE_GUARD = GUARD + "feat_";
	//
	public static final PConcept CONCEPT_TOP = PConcept.getTopConcept();
	public static final PConcept CONCEPT_BOTTOM = PConcept.getBottomConcept();
	public static final PConcept QUERY_GUARD = PConcept.getPConcept("general-query-guard");
	// public static final String ASSERTIONIDENTIFIER = ":";
	// public static final String INDIVIDUALSEP = ",";
	public static final String CONASSERT = "concept-assertion";
	public static final String ROLEASSERT = "role-assertion";
	//
	public static final String LQUOTE = "\'";
	public static final String RQUOTE = "\'";
	public static final String LESSTHAN = "<";
	public static final String EQ = "=";
	public static final String LESSEQUAL = "<=";

	//
	public static final String FeatureValueMissingPatch = "IncompleteKnowledge";
}
